protoknow(p,cl,pri(lst,[pri(pk,[cmr(kM,[cli],[])]),cm(id,[su],[])])).
protoknow(p,cl,pri(aenc,[pri(lst,[cm(age,[su],dot),cmr(n,dot,bot)]),pri(pk,[cmr(kM,[cli],[])])])).

protoknow(p,srv,cmr(n,dot,bot)).
protoknow(p,srv,pri(lst,[pri(pk,[cmr(kM,[cli],[])]),cm(id,[su],[])])).
protoknow(p,srv,pri(aenc,[pri(lst,[cm(age,[su],dot),cmr(n,dot,bot)]),pri(pk,[cmr(kM,[cli],[])])])).
